mathswitch — infrastructure for relaying and exchanging mathematical concepts
Query: "sum of normally distributed random variables"